type T = [+string];
